Geometric and Higher Order Logic in terms of Abstract Stone Duality Paul Taylor Abstract The contravariant powerset and its generalisations ΣX to the lattices of open subsets of a locally compact topological space and o

Source URL: www.monad.me.uk

Degree supervaluational logic J. R. G. Williams January 19, 2010 Abstract Supervaluationism is often described as the most popular semantic treatment of

Source URL: www.personal.leeds.ac.uk

Barriers in Concurrent Separation Logic Aquinas Hobor and Cristian Gherghina National University of Singapore Abstract. We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers

Source URL: www.comp.nus.edu.sg

The Objective Conception of Context and Its Logic CHRISTOPHER MENZEL Department of Philosophy, Texas AhIM University, College Station, TexasU.S.A. (email: ) Abstract. In this paper, an “obje

Source URL: philebus.tamu.edu

A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI Mohammad Khodadadi, Renate A. Schmidt, and Dmitry Tishkovsky? School of Computer Science, The University of Manchester, UK Abstract The

Source URL: www.cs.man.ac.uk

A CLASSIFICATION OF ORBITS ADMITTING A UNIQUE INVARIANT MEASURE NATHANAEL ACKERMAN, CAMERON FREER, ALEKSANDRA KWIATKOWSKA, AND REHANA PATEL Abstract. The group S∞ acts via the logic action on the space of countable str

Source URL: cfreer.org

Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system

Source URL: flint.cs.yale.edu

• Formal methods
• Logic in computer science
• Models of computation
• Programming language semantics
• Abstraction
• Kernel
• Abstract state machines
• Semantics
• Denotational semantics
• Operational semantics
• Refinement
• Limit

A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI Mohammad Khodadadi, Renate A. Schmidt, and Dmitry Tishkovsky? School of Computer Science, The University of Manchester, UK Abstract The

Source URL: www.mettel-prover.org

Using Crash Hoare Logic for Certifying the FSCQ File System Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich MIT CSAIL Abstract

Source URL: people.csail.mit.edu

Constraint Answer Set Solving Martin Gebser, Max Ostrowski, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. We present a new approach to integrating C

Source URL: www.cs.uni-potsdam.de

• Theoretical computer science
• Constraint programming
• Declarative programming
• Logic programming
• Mathematics
• Model theory
• Logic in computer science
• NP-complete problems
• Constraint satisfaction problem
• Answer set programming
• Constraint satisfaction
• Satisfiability modulo theories